Yatapanage, K.G.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Experience with fault injection experiments for FMEA

Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 400 KB

english, 2011

2

Defining the abstract syntax of visual languages with advanced graph grammars—A case study based on behavior trees

Lars Grunske, Kirsten Winter, Nisansala Yatapanage

Journal:

Journal of Visual Languages & Computing

Year:

2008

Language:

english

File:

PDF, 2.23 MB

english, 2008

3

Instrumentation used to measure residential magnetic fields and currents

H. Lahijanian, K. Yatapanage, R. Rosen, J. Cross

Journal:

ISA Transactions

Year:

2003

Language:

english

File:

PDF, 176 KB

english, 2003

4

Cut Set Analysis using Behavior Trees and model checking

Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 592 KB

english, 2012

5

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Safety Assessment Using Behavior Trees and Model Checking

Lindsay, Peter A., Winter, Kirsten, Yatapanage, Nisansala

Year:

2010

Language:

english

File:

PDF, 272 KB

english, 2010

6

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Early Validation and Verification of a Distributed Role-Based Access Control Model

Zafar, Saad, Colvin, Robert, Winter, Kirsten, Yatapanage, Nisansala, Dromey, R. G.

Year:

2007

Language:

english

File:

PDF, 327 KB

english, 2007

7

Next-preserving branching bisimulation

Yatapanage, Nisansala, Winter, Kirsten

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 772 KB

english, 2015

8

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Early Validation and Verification of a Distributed Role-Based Access Control Model

Zafar, Saad, Colvin, Robert, Winter, Kirsten, Yatapanage, Nisansala, Dromey, R. G.

Year:

2007

Language:

english

File:

PDF, 327 KB

english, 2007

9

MEASUREMENT OF 3-D FACIAL CONTOURS FOR THE DESIGN OF HALF-FACE RESPIRATORS

Yatapanage, K.G., Post, K.

Journal:

Year:

1992

File:

PDF, 756 KB

1992

10

MEASUREMENT OF 3-D FACIAL CONTOURS FOR THE DESIGN OF HALF-FACE RESPIRATORS

Yatapanage, K.G., Post, K.

Journal:

Year:

1992

File:

PDF, 756 KB

1992

11

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example

Jones, Cliff B., Yatapanage, Nisansala

Journal:

Formal Aspects of Computing

Year:

2019

Language:

english

File:

PDF, 451 KB

english, 2019

12

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example

Jones, Cliff B., Yatapanage, Nisansala

Journal:

Formal Aspects of Computing

Year:

2019

File:

PDF, 451 KB

2019